Abstract 91

Schoonschip '91

The symbolic manipulation program Schoonschip is being made freely available for a number of computers with Motorola 680x0 cpu’s. It can run on machines with relatively modest memory and disk resources, and is designed to run as fast as possible given the host constraints. Memory and disk utilization can be adapted to tune performance. Recently added capabilities include a system for efficient ...

Isabelle-91

Min introduces the type form (of object-formulae) and the infix constant −→ (for objectimplication). The constant [[ ]] maps form to the predefined type prop of meta-logic propositions. The proposition [[P ]] should be read as “the formula P is true”; we usually distinguish object-level formulae (form) from meta-level formulae (prop). In practice the brackets can be dropped; parser and pretty-p...

abstract

ABSTRACT

Abstract

Abstract